Ordinals in Frobenius monads
نویسندگان
چکیده
منابع مشابه
Ordinals in Frobenius Monads
This paper provides geometrical descriptions of the Frobenius monad freely generated by a single object. These descriptions are related to results connecting Frobenius algebras and topological quantum field theories. In these descriptions, which are based on coherence results for self-adjunctions (adjunctions where an endofunctor is adjoint to itself), ordinals in ε0 play a prominent role. The ...
متن کاملAlgebraic Ordinals
An algebraic tree T is one determined by a finite system of fixed point equations. The frontier Fr(T) of an algebraic tree T is linearly ordered by the lexicographic order < ℓ. If (Fr(T) < ℓ) is well-ordered, its order type is an algebraic ordinal. We prove that the algebraic ordinals are exactly the ordinals less than ω ω ω .
متن کاملLarge Ordinals
Let j be an elementary embedding of V into V that is not the identity, and let be the critical point of j. Let A be the closure of fjg under the operation a(b) of application, and let be the closure of f g under the operation minf : a( ) b( )g. We give a complete description of the set under an assumption (Threshold Hypothesis) on cyclic left distributive algebras.
متن کاملCountable Ordinals
This development defines a well-ordered type of countable ordinals. It includes notions of continuous and normal functions, recursively defined functions over ordinals, least fixed-points, and derivatives. Much of ordinal arithmetic is formalized, including exponentials and logarithms. The development concludes with formalizations of Cantor Normal Form and Veblen hierarchies over normal functions.
متن کاملAutomatic Ordinals
We prove that the injectively ω-tree-automatic ordinals are the ordinals smaller than ω ω . Then we show that the injectively ωautomatic ordinals, where n ≥ 1 is an integer, are the ordinals smaller than ω n . This strengthens a recent result of Schlicht and Stephan who considered in [SS11] the subclasses of finite word ω-automatic ordinals. As a by-product we obtain that the hierarchy of injec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2013
ISSN: 0022-4049
DOI: 10.1016/j.jpaa.2012.09.012